例句與造句

1. In 1959, he completed his doctoral work which involved a proof for lack of local unsolvability for constructing the minimal disjunctive normal form.
2. It's difficult to find minimal disjunctive normal form in a sentence. 用minimal disjunctive normal form造句挺難的